import tactic

#goal = tactic.evaluate("sequence(goal(parse(r'(a and b)')), cut('and.definition'), right_substitution(), left_weakening(), right_beta2(), right_negation(), split(left_disjunction(), left_negation(), left_negation()))")

import cProfile

#cProfile.run('tactic.applicable_rules(goal)', 'rules_profile')

import pstats
stats = pstats.Stats('/home/cap/thesis/cheqed/web/web_profile')

stats.sort_stats('time')
stats.print_stats()
stats.print_callers()
